Disabling Subsumptions in a Logic-Based Component

نویسندگان

  • Éric Grégoire
  • Sébastien Ramon
چکیده

In this paper, we address a problem that is often overlooked in the gradual construction of a logic-based knowledge component: how can a new piece of information g be added into a component KC so that g is not subsumed by KC? More precisely, the focus is on iterating this subsumption-freeness enforcement process when the component is increased step by step. Interestingly, it is shown that the approach and results initially related to standard Boolean logic can directly apply to some non-monotonic frameworks.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Adding Number Restrictions to a Four-Valued Terminological Logic

An intuitive four-valued semantics can be used to develop expressively powerful terminological logits which have tractable subsumption. If a fourvalued identity is also used, number restrictions can be added to the logic while retaining tracts bility. The subsumptions supported by the logic are a type of “structural” subsumption, where each structural component of one concept must have an analo...

متن کامل

Bridging the Gap between Tableau and Consequence-Based Reasoning

We present a non-deterministic consequence-based procedure for the description logic ALCHI. Just like the similar style (deterministic) procedures for EL and Horn-SHIQ, our procedure explicitly derives subsumptions between concepts, but due to non-deterministic rules, not all of these subsumptions are consequences of the ontology. Instead, the consequences are only those subsumptions that can b...

متن کامل

The Not-So-Easy Task of Computing Class Subsumptions in OWL RL

The lightweight ontology language OWL RL is used for reasoning with large amounts of data. To this end, the W3C standard provides a simple system of deduction rules, which operate directly on the RDF syntax of OWL. Several similar systems have been studied. However, these approaches are usually complete for instance retrieval only. This paper asks if and how such methods could also be used for ...

متن کامل

Reasoning About Data in XML Data Integration

In this paper, we propose solutions to some problems arising while data from different sources is to be integrated under a given target schema. We address the following problems: inferring missing data based on constraints imposed by the target schema, generating mappings from a source schema to a target schema based on key constraints and value dependencies, and merging data based on subsumpti...

متن کامل

Testing the Adequacy of Automated Explanations of EL Subsumptions

Ontology verbalization techniques have been introduced to automatically translate description logic (DL) axioms and derivations to natural-language texts. This way, non-expert users can be offered explanations for subsumptions derived by systems using ontologies for knowledge-representation. We address the question of the readability and understandability of explanations generated from longer c...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012